5 found
Order:
  1.  20
    Tense operators on De Morgan algebras.A. V. Figallo & G. Pelaitay - 2014 - Logic Journal of the IGPL 22 (2):255-267.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  2.  32
    An Algebraic Study of Tense Operators on Nelson Algebras.A. V. Figallo, G. Pelaitay & J. Sarmiento - 2020 - Studia Logica 109 (2):285-312.
    Ewald considered tense operators G, H, F and P on intuitionistic propositional calculus and constructed an intuitionistic tense logic system called IKt. In 2014, Figallo and Pelaitay introduced the variety IKt of IKt-algebras and proved that the IKt system has IKt-algebras as algebraic counterpart. In this paper, we introduce and study the variety of tense Nelson algebras. First, we give some examples and we prove some properties. Next, we associate an IKt-algebra to each tense Nelson algebras. This result allowed us (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  3.  20
    Remarks on Heyting algebras with tense operators.A. V. Figallo & G. Pelaitay - 2012 - Bulletin of the Section of Logic 41 (1/2):71-74.
  4.  15
    The ASn× m–propositional calculus.A. V. Figallo & C. A. Sanza - 2008 - Bulletin of the Section of Logic 37 (2):67-79.
  5.  22
    Weak implication on generalized Lukasiewicz algebras of order N.A. V. Figallo, C. Gallardo & A. Ziliani - 2010 - Bulletin of the Section of Logic 39 (3/4):187-198.